Chemouil, David: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Towards formalising AADL in Proof Assistants

Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 298 KB

english, 2005

2

Remarks on Isomorphisms of Simple Inductive Types

David Chemouil, Sergei Soloviev

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 1.14 MB

english, 2003

3

[IEEE 2008 13th IEEE International Conference on Engineering of Complex Computer Systems - (ICECCS) - Belfast, Northern Ireland (2008.03.31-2008.04.3)] 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008) - Modes in Asynchronous Systems

Rolland, Jean-François, Bodeveix, Jean-Paul, Filali, Mamoun, Chemouil, David, Thomas, Dave

Year:

2008

Language:

english

File:

PDF, 332 KB

english, 2008

4

[IEEE 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) - Tokyo (2006.09.18-2006.09.22)] 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) - TOPCASED Combining Formal Methods with Model-Driven Engineering

PONTISSO, Nadege, CHEMOUIL, David

Year:

2006

Language:

english

File:

PDF, 110 KB

english, 2006

5

[IEEE 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - Auckland, New Zealand (2007.07.11-2007.07.14)] 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - The AADL behaviour annex -- experiments and roadmap

Franca, Ricardo Bedin, Bodeveix, Jean-Paul, Filali, Mamoun, Rolland, Jean-Francois, Chemouil, David, Thomas, Dave

Year:

2007

Language:

english

File:

PDF, 175 KB

english, 2007

6

Isomorphisms of simple inductive types through extensional rewriting

CHEMOUIL, DAVID

Journal:

Mathematical Structures in Computer Science

Year:

2005

Language:

english

File:

PDF, 512 KB

english, 2005

7

An insertion operator preserving infinite reduction sequences

CHEMOUIL, DAVID

Journal:

Mathematical Structures in Computer Science

Year:

2008

Language:

english

File:

PDF, 589 KB

english, 2008

8

[ACM Press the 5th international workshop - Vienna, Austria (2007.09.26-2007.09.28)] Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems - JTRES '07 - A mapping from AADL to Java-RTSJ

Jean-Paul, Bodeveix, Raphaël, Cavallero, David, Chemouil, Mamoun, Filali, Jean-François, Rolland

Year:

2007

Language:

english

File:

PDF, 287 KB

english, 2007

9

A logic with revocable and refinable strategies

Chareton, Christophe, Brunel, Julien, Chemouil, David

Journal:

Information and Computation

Year:

2015

Language:

english

File:

PDF, 731 KB

english, 2015

10

[ACM Press the 2016 24th ACM SIGSOFT International Symposium - Seattle, WA, USA (2016.11.13-2016.11.18)] Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016 - Lightweight specification and analysis of dynamic systems with rich configurations

Macedo, Nuno, Brunel, Julien, Chemouil, David, Cunha, Alcino, Kuperberg, Denis

Year:

2016

Language:

english

File:

PDF, 727 KB

english, 2016

11

[ACM Press the 33rd ACM/IEEE International Conference - Montpellier, France (2018.09.03-2018.09.07)] Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering - ASE 2018 - The electrum analyzer: model checking relational first-order temporal specifications

Brunel, Julien, Chemouil, David, Cunha, Alcino, Macedo, Nuno

Year:

2018

Language:

english

File:

PDF, 579 KB

english, 2018

12

[IEEE 2018 Formal Methods in Computer Aided Design (FMCAD) - Austin, TX (2018.10.30-2018.11.2)] 2018 Formal Methods in Computer Aided Design (FMCAD) - Analyzing the Fundamental Liveness Property of the Chord Protocol

Brunel, Julien, Chemouil, David, Tawa, Jeanne

Year:

2018

File:

PDF, 409 KB

2018

13

A decidable and expressive fragment of Many-Sorted First-Order Linear Temporal Logic

Peyras, Quentin, Brunel, Julien, Chemouil, David

Journal:

Information and Computation

Year:

2020

File:

PDF, 652 KB

2020